continuous extension theorem

=Hahn-Banach theorem